This volume is the outcome of the first CASY workshop on "Advances in Control Theory and Applications" which was held at ...
اقرأ المزيدThis monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ...
اقرأ المزيدThis volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
اقرأ المزيدThe book is a scientific monograph as well as a didactic tutorial which is easy to understand due to many exercises with ...
اقرأ المزيدDesign of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For ...
اقرأ المزيدThis book provides a practical introduction to computationally solving discrete optimization problems using dynamic programming. ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
اقرأ المزيدThis book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
اقرأ المزيدThis volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
اقرأ المزيدThis book provides a thorough treatment of the theory of stochastic max-plus linear systems. Max-plus algebra is an algebraic ...
اقرأ المزيدModelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 6th German Conference on Multiagent Systems Technologies, MATES 2008, ...
اقرأ المزيدThis monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
اقرأ المزيدThe book Parallel and Distributed Logic Programming provides a clear introduction to parallel and distributed approach to ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets ...
اقرأ المزيد